/*
 *	kernel/clock/main.c
 *	
 *	created by ChenJie at 2007.10.13
 *
 *	last modified at 2007.10.13
 *
 */

#include <cosstd.h>
#include <cos/ipc.h>

void clock_init(void);

void clock_task(void)
{
	struct msg_struct m;
	clock_init();
	while(TRUE){
	  receive(ANY_PROC, &m);
	  switch(m.type){
	  case HARDWARE_INT:
	  	showclock();
		break;
	  default:
	  	printf("CLOCK: illegal request %lu from %ld \n\r", m.type, m.source);
	  }
	}
}
void clock_init(void)
{
}
